more on this theme     |     more from this thinker     |     more from this text

Single Idea 17929

[filed under theme 5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems ]

Full Idea

Löwenheim proved that if a first-order sentence has a model at all, it has a countable model. ...Skolem generalised this result to systems of first-order sentences.

Gist of Idea

Löwenheim proved his result for a first-order sentence, and Skolem generalised it

Source

Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 2.1.2)

Book Ref

Colyvan,Mark: 'An Introduction to the Philosophy of Mathematics' [CUP 2012], p.25